/*
 * ----------------------------------------------------------------------------
 *  (C) Copyright European Telecommunications Standards Institute, 2001.
 *  All Rights Reserved.
 *
 *  All copies of this program, whether in whole or in part, and whether
 *  modified or not, must display this and all other embedded copyright
 *  and ownership notices in full.
 *
 * ----------------------------------------------------------------------------
 */
package org.etsi.ttcn.tri;

/**
   A value of type TriTestCaseIdType is the name of a test case as
   specified in the TTCN-3 ATS.
 */
public interface TriTestCaseId {

    /** Returns the string representation of the test case as defined
	in TTCN-3 specification.
    */
    public String  toString();

    /** Returns the test case identifier as defined in the TTCN-3
	specification.
    */
    public String  getTestCaseName();

    /** Compares tc with this TriTestCaseId for equality. Returns true
	if and only if both test cases have the same test case
	identifier, false otherwise.
    */
    public boolean equals(TriTestCaseId tc);
}
